automated program verifier
自动化程式验证器
热门查询
- diarrhoeal adj. 腹泻
- tattoo n. 文身 vt. 刺花纹于 vi. 刺花样
- Rockefeller n. 洛克菲勒（姓氏）
- mesh n. 网眼；网丝；圈套 vi. 相啮合 vt. [机] 啮合；以网捕捉
- principalship n. 首要的地位、职务
- teflon n. [高分子] 聚四氟乙烯；铁氟龙（商标名）
- skank n. 讨厌，粗鄙的人
- reload vt. 再装 vi. 重新装；再装填弹药
- heliport n. [航] 直升飞机场，直升机停机坪
- lfa abbr. last field address 最后扫描地址; left frontoanterior 左前方的
- emancipate vt. 解放；释放
- disassembly n. 拆卸；分解
- cassoulet n. 豆焖肉 n. (Cassoulet)人名；(法)卡苏莱
- maven n. 内行，专家
- papaya n. 木瓜；[林] 番木瓜树
- pebble n. 卵石；水晶透镜 vt. 用卵石铺
- bronchial adj. 支气管的
- heterocyclic adj. 杂环的；不同环式的
- Swapo abbr.Southwest African People's Organization,西南非洲人民组织
- reign n. 统治；统治时期；支配 vi. 统治；支配；盛行；君临
考试词汇表
- ring iodination
- ring joint seal
- ring laser axis
- ring laser gyro
- ring lubricator
- ring management
- ring martingale
- ring micrometer
- ring microphone
- ring of numbers
- ring of scalars
- ring oscillator
- ring piezometer
- ring protection
- ring resilience
- ring roll press
- ring rot fungus
- ring screw gage
- ring shear test
- ring shift left
